Adaption offener Systeme durch die Trennung von Daten- und Kontrollfluss

We consider open systems being described by an interface and behavior in form of an protocol. Interaction between open systems means exchange of messages. For the interaction to be correct, the interacting open systems must be able to terminate. The interaction of independently developed open systems is not guaranteed to be correct. Although one open system provides functionality a second open system requires, incompatiblities of the interfaces or the behavior may prevent the correct exchange of messages. The idea is to introduce an adapter to overcome the incompatiblities. We present a technique that considers incompatiblities of the interfaces and the behavior separately. With transformation rules we specify how messages of two open systems relate to each other. Using these rules we model the data flow between open systems and overcome incompatiblities of the interfaces. By using existing techniques for controller synthesis we overcome incompatiblities of the behavior. Thus we create correct control flow. We call the composition of transformation rules and controller an adapter. Based on the technique presented in this thesis, we want to answer the following reseach questions: •What are the properties of the proposed technique? When does an adapter exist? How can we apply the technique on open, communicating systems in general? • How do we distribute a generated adapter to different components? •Which information can we provide, if adapter synthesis fails? • How can we discover a formal model of an adapter, when we only have recorded behavior of open systems, but no formal models?